Language-oriented programming - PDFSEARCH.IO - Document Search Engine

Language-oriented programming
Results: 1157

#	Item
371	Semanti subtyping: dealing set-theoreti ally with fun tion, union, interse tion, and negation types ALAIN FRISCH Lexi and Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Programming language theory Data types Object-oriented programming Polymorphism Subtype polymorphism Type system Universal type System F Curry Software engineering Type theory Computing
372	Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2013-03-26 11:21:30 Software Scientific modeling Modelica Systems engineering Simulation software Modeling language Requirement SOFA Functional Mock-up Interface Object-oriented programming Software engineering Computing
373	Vol. 3, No. 11 Special issue: OOPS track at SAC 2004, Nicosia/Cyprus Adding Wildcards to the Java Programming Language Mads Torgersen, University of Aarhus, Denmark Add to Reading List Source URL: www.gafter.com Language: English - Date: 2004-12-02 10:31:02 Programming language theory Polymorphism Object-oriented programming Data types Java programming language Covariance and contravariance Wildcard Type system Generic programming Software engineering Computing Type theory
374	Semantic Subtyping Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) ´ Veronique Benzaken (LRI U Paris Sud) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Data types Object-oriented programming Programming language theory Polymorphism Subtype polymorphism CDuce E Type system Semantics Type theory Computing Software engineering
375	Joint ICALP-PPDP ’05 Keynote Talk A Gentle Introduction to Semantic Subtyping Giuseppe Castagna Alain Frisch Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 Theoretical computer science Object-oriented programming Programming language theory Polymorphism Subtype polymorphism International Colloquium on Automata Languages and Programming Type system E Type theory Data types Software engineering
376	A new Meta-Model for Story Diagrams ∗ ∗ Christian Heinzemann , Jan Rieke , Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:35:54 ISO standards Object-oriented programming Systems Modeling Language Graph rewriting Unified Modeling Language Metaclass Diagram Activity diagram Object diagram Software Computing UML diagrams
377	Automatic Dimension Inference and Checking for Object-Oriented Programs Sudheendra Hangal and Monica S. Lam Computer Science Department Stanford University, CA 94305 {hangal,lam}@cs.stanford.edu Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2010-05-01 03:11:59 Computing Programming language theory Dimensional analysis Measurement Array data type Dimension Array data structure Type inference Type system Data types Type theory Software engineering
378	Steve Zdancewic Research Statement September 4, 2007 Security-Oriented Languages The proliferation of network-enabled devices and the success of Internet applications has made it easier to access Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-05-13 09:16:55 Programming language International Conference on Functional Programming Ada Control flow ABLE Computer science ALGOL 68 Information flow Aspect-oriented programming Computing Software engineering Programming language theory
379	Sam Tobin-Hochstadt School of Informatics & Computing Indiana University  S. Woodlawn Ave. Bloomington, IN  Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Association for Computing Machinery Functional languages Functional programming Object-oriented programming International Conference on Functional Programming Racket SIGPLAN Symposium on Trends in Functional Programming Programming language Software engineering Computing Computer programming
380	Gentee overview Introduction The Gentee programming language can be classified as a procedure-oriented language with some features typical of object-oriented programming. It has no complicated constructions and is easy t Add to Reading List Source URL: www.gentee.com Language: English - Date: 2009-09-29 11:25:48 Data types Source code Primitive types C programming language Public domain software Macro Constant C syntax C Computer programming Software engineering Computing

UPDATE